Morse-Kelley set theory